Mansour's Conjecture is True for Random DNF Formulas

نویسندگان

  • Adam R. Klivans
  • Homin K. Lee
  • Andrew Wan
چکیده

In 1994, Y. Mansour conjectured that for every DNF formula on n variables with t terms there exists a polynomial p with t non-zero coefficients such that Ex∈{0,1} [(p(x) − f(x))] ≤ ǫ. We make the first progress on this conjecture and show that it is true for randomly chosen DNF formulas and read-once DNF formulas. Our result yields the first polynomial-time query algorithm for agnostically learning these subclasses of DNF formulas with respect to the uniform distribution on {0, 1} (for any constant error parameter). Applying recent work on sandwiching polynomials, our results imply that a t -biased distribution fools the above subclasses of DNF formulas. This gives pseudorandom generators for randomly chosen DNF with shorter seed length than all previous work.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On Learning Random DNF Formulas Under the Uniform Distribution

We study the average-case learnability of DNF formulas in the model of learning from uniformly distributed random examples. We define a natural model of random monotone DNF formulas and give an efficient algorithm which with high probability can learn, for any fixed constant γ > 0, a random t-term monotone DNF for any t = O(n2−γ). We also define a model of random non-monotone DNF and give an ef...

متن کامل

Complexity of DNF minimization and isomorphism testing for monotone formulas

We investigate the complexity of finding prime implicants and minimum equivalent DNFs for Boolean formulas, and of testing equivalence and isomorphism of monotone formulas. For DNF related problems, the complexity of the monotone case differs strongly from the arbitrary case. We show that it is DP-complete to check whether a monomial is a prime implicant for an arbitrary formula, but the equiva...

متن کامل

Complexity of DNF and Isomorphism of Monotone Formulas

We investigate the complexity of finding prime implicants and minimal equivalent DNFs for Boolean formulas, and of testing equivalence and isomorphism of monotone formulas. For DNF related problems, the complexity of the monotone case strongly differs from the arbitrary case. We show that it is DP-complete to check whether a monomial is a prime implicant for an arbitrary formula, but checking p...

متن کامل

Evaluation of DNF Formulas

We consider the Stochastic Boolean Function Evaluation (SBFE) problem for classes of DNF formulas. The SBFE problem for DNF formulas is a “sequential testing” problem where we need to determine the value of DNF formula on an initially unknown input x = (x1, ..., xn), when there is a cost ci associated with obtaining the value of xi, each xi is equal to 1 with known probability pi, and the xi ar...

متن کامل

Poly-logarithmic independence fools AC circuits

We prove that poly-sized AC0 circuits cannot distinguish a poly-logarithmically independent distribution from the uniform one. This settles the 1990 conjecture by Linial and Nisan [LN90]. The only prior progress on the problem was by Bazzi [Baz07, Baz09], who showed that O(logn)-independent distributions fool poly-size DNF formulas. Razborov [Raz08] has later given a much simpler proof for Bazz...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Electronic Colloquium on Computational Complexity (ECCC)

دوره 17  شماره 

صفحات  -

تاریخ انتشار 2010